default:
	pdflatex ps4.tex
	
